1.29/1.52	unsat
