5.27/7.71	unsat
