12.86/13.89	unsat
