5.67/5.79	unsat
