0.10/0.15	unsat
