13.86/13.95	unsat
