16.66/16.71	unsat
