5.19/6.61	unsat
