11.57/19.62	unsat
