14.48/16.77	unsat
