16.68/16.79	unsat
