0.02/0.03	unsat
