7.88/13.61	unsat
