14.18/17.71	unsat
