5.77/5.83	unsat
