12.86/13.42	unsat
