13.46/15.91	unsat
