5.49/5.79	unsat
