1.19/2.47	unsat
