8.79/20.71	unsat
