16.89/16.96	unsat
