14.77/16.73	unsat
