26.55/28.49	unsat
