13.66/15.24	unsat
