5.77/5.84	unsat
