5.77/7.75	unsat
