2.59/5.42	unsat
