0.01/0.39	unsat
