0.08/0.39	unsat
