13.86/13.90	unsat
