6.26/6.61	unsat
