14.26/14.71	unsat
