12.86/13.65	unsat
