0.04/0.15	unsat
