26.45/28.49	unsat
