5.68/5.79	unsat
