13.46/15.24	unsat
