14.77/16.20	unsat
