16.55/19.04	unsat
