14.80/18.08	unsat
