0.13/1.39	unsat
