8.66/11.42	unsat
