8.41/11.42	unsat
