28.33/29.61	unsat
