1.69/3.00	unsat
