10.86/11.46	unsat
