1.18/1.54	unsat
