5.77/7.48	unsat
