5.61/8.42	unsat
