14.26/17.71	unsat
