0.19/1.01	unsat
