1.29/2.54	unsat
