13.86/18.41	unsat
