8.77/13.46	unsat
