14.66/14.71	unsat
