12.86/13.51	unsat
