1.09/2.42	unsat
