13.86/15.27	unsat
