5.88/5.94	unsat
