8.77/14.79	unsat
