26.55/28.75	unsat
