13.76/18.00	unsat
