14.07/20.80	unsat
