1.27/5.42	unsat
