16.47/16.79	unsat
