26.77/28.07	unsat
