8.41/13.58	unsat
