14.66/17.21	unsat
