14.55/18.00	unsat
