5.77/5.85	unsat
