5.20/6.71	unsat
