7.77/13.04	unsat
