5.48/7.71	unsat
