13.46/13.62	unsat
