0.26/0.39	unsat
