13.23/13.62	unsat
