4.27/5.95	unsat
