5.79/5.83	unsat
