8.77/10.01	unsat
