1.00/1.19	unsat
