5.05/6.79	unsat
