13.86/16.27	unsat
