18.06/22.00	unsat
