16.26/16.84	unsat
