5.79/5.82	unsat
