4.73/6.74	unsat
