10.86/11.27	unsat
