5.07/5.19	unsat
