14.94/16.71	unsat
