5.79/5.84	unsat
