1.28/2.47	unsat
