14.79/16.73	unsat
