8.30/12.41	unsat
