15.64/16.97	unsat
