12.86/13.48	unsat
